Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

Member of the Organizing Committees

• D. Miller was on the Steering Committee for the FSCD series of International Conference on Formal Structures for Computation and Deduction.

• D. Miller was a member of the jury for selecting the 2016 Ackermann Award (the EACSL award for outstanding doctoral dissertation in the field of Logic in Computer Science).

• D. Miller was an ex officio member of the Executive Committee of the ACM Special Interest Group on Logic and Compuation (SIGLOG), from April 2014 to June 2016. He was also a member of the SIGLOG advisory board, starting November 2015.

Scientific Events Selection

Member of the Conference Program Committees

• D. Miller was on the Program Committee of the following meetings.

  • FSCD’16: First International Conference on Formal Structures for Computation and Deduction, Porto, Portugal, 22-26 June.

  • IJCAR 2016: International Joint Conference on Automated Reasoning, Coimbra, Portugal, 27 June - 2 July.

  • CPP 2016, Fifth International Conference on Certified Programs and Proofs, 18-19 January, Saint Petersburg, Florida.

• B. Accattoli was one of the two Program Committee chairs of the 5th International Workshop on Confluence (IWC 2016).

• N. Zeilberger served on the program committee for workshops Computational Logic and Applications (CLA 2016) and Off the Beaten Track (OBT 2016).

• N. Zeilberger served on external review committee for POPL 2017

• L. Straßburger was on the Program Committee for LICS 2016.

Reviewer

• D. Miller was a reviewer for CONCUR 2016: the International Conference on Concurrency Theory.

• B. Accattoli was a reviewer for the international conferences ICTAC 2016, FSCD 2016, LICS 2016 (twice), FOSSACS 2017.

• S. Graham-Lengrand was a reviewer for the international conferences FSCD 2016 (twice), LICS 2016 (three times), Concur 2016, VSTTE 2017, HATT 2017, FSTTCS 2017.

• L. Straßburger was a reviewer for the international conferences LICS 2016 (8 times), FLOPS 2016.

• M. Volpe was a reviewer for the international conferences IJCAR 2016 and CSL 2016.

• H. Steele was a reviewer for the internal conference LICS 2016.

Journal

Member of the editorial boards

• D. Miller is on the editorial board of the following journals: ACM Transactions on Computational Logic, Journal of Automated Reasoning (Springer), Theory and Practice of Logic Programming (Cambridge University Press), and Journal of Applied Logic (Elsevier).

Reviewer - Reviewing Activities

• S. Graham-Lengrand has been a reviewer for the journals Fundamenta Informaticae, Transactions on Computational Logic, Journal of Logic and Computation, Logical Methods in Computer Science, Journal of Automated Reasoning.

• Danko Ilik was a reviewer for Mathematical Reviews and Zentralblatt MATH.

• F. Lamarche was a reviewer for Mathematical Structures in Computer Science.

• Lutz Straßburger was a reviewer for the journals Theoretical Computer Science and Logical Methods in Computer Science.

• Marco Volpe was a reviewer for the journal Annals of Mathematics and Artificial Intelligence.

• Beniamino Accattoli was a reviewer for the journals Theoretical Computer Science and Logical Methods in Computer Science.

Invited Talks

• D. Miller was an invited speaker at the following conferences and workshops.

  • Workshop on linear logic, mathematics and computer science as part of “LL2016-Linear Logic: interaction, proofs and computation”, 7-10 November 2016, Lyon. France.

  • Linearity 2016. Porto, 25 June 2016.

  • CIPPMI (Current issues in the philosophy of practice of mathematics and informatics) Workshop on Proofs, justifications and certificates. 3-4 June 2016, Toulouse, France.

  • TYPES 2016: 22nd International Conference on Types for Proofs and Programs. Novi Sad, Serbia, 23-26 May 2016.

• D. Miller was an invited speaker at the research seminar titled “Interactions between logic, computer science and linguistics: history and philosophy”, Université de Lille 3, 15 June 2016.

• D. Miller was an invited speaker at the ACADIA research centre, Ca’ Foscari University, Venice, 27 April 2016.

• B. Accattoli was invited speaker at WPTE 2016: 3rd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (Porto, 23 June 2016).

• S. Graham-Lengrand gave an invited talk at CLAM 2016: 5th Latin American Congress of Mathematicians, thematic session on Logic and Computability (Barranquilla, Colombia, 15th July 2016).

• N. Zeilberger was an invited lecturer at OPLSS 2016: Oregon Programming Languages Summer School on Types, Logic, Semantics, and Verification.

Leadership within the Scientific Community

• D. Miller was a member of the ACM SIGLOG Advisory Board, the LICS Organizing Board, the CPP Steering Committee, and the ACM SIGLOG Executive Committee Nominating Committee.

• S. Graham-Lengrand is the head of the National Workgroup on “Logic, Algebra, and Computation”, within the Informatique Mathématique section of CNRS.

Research Administration

• L. Straßburger serves on the “commission développement technologique (CDT)” for Inria Saclay–Île-de-France since June 2012